home *** CD-ROM | disk | FTP | other *** search
/ Gold Medal Software 3 / Gold Medal Software - Volume 3 (Gold Medal) (1994).iso / prog / proxy14.arj / EQUIV.PRX < prev    next >
Text File  |  1993-08-27  |  277b  |  9 lines
  1. X = {"a","b","c","d"};
  2. p = {{e}:e<- X};
  3. test(e1,e2) {return (exists s in p;(e1 in s) && (e2 in s));};
  4. equate(e1,e2;t1,t2)
  5.   {p = {s:s<-p;(e1 notin s) && (e2 notin s)} U {union (
  6.          {s:s<-p;(e1 in s) || (e2 in s)} )};};
  7. group(e) {return the {r:r<-p;e in r};};
  8. end
  9.